{ a b√2 } is a group